From d302dac75b5da2d31dac6de0ac09654a0c5918c9 Mon Sep 17 00:00:00 2001
From: Luca Bruno <lucab@debian.org>
Date: Fri, 9 Mar 2018 21:09:38 +0530
Subject: [PATCH] _local-jquery

Gbp-Pq: Name 2003_local-jquery.patch
---
 src/doc/html-headers.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/doc/html-headers.html b/src/doc/html-headers.html
index 80ad896f3..c3bdc1bad 100644
--- a/src/doc/html-headers.html
+++ b/src/doc/html-headers.html
@@ -1,2 +1,2 @@
-<script src="https://code.jquery.com/jquery-2.1.1.min.js"></script>
+<script src="jquery.js"></script>
 <link rel="icon" type="image/x-icon" href="favicon.ico">
-- 
2.30.2